// function page_jump(form, num) {
//     form.currentPage.value = num;
//     form.submit();
// }
//
// function jump_to(form, num) {
//     //验证用户的输入
//     var regexp = /^[1-9]\d*$/;
//     var totalPageCount = document.getElementById("totalPageCount").value;
//     if (!regexp.test(num)) {
//         alert("请输入大于0的正整数!");
//         return false;
//     } else if ((num - totalPageCount) > 0) {
//         alert("请输入小于总页数的页码");
//         return false;
//     } else {
//         page_jump(form, num);
//     }
// }